Essential extension

In mathematics, specifically module theory, given a ring R and R-modules M with a submodule N, the module M is said to be an essential extension of N (or N is said to be an essential submodule or large submodule of M) if for every submodule H of M,

H\cap N=\{0\}\, implies that H=\{0\}\,

The usual notations for essential extensions include the following two expressions:

N\subseteq_e M\, (Lam 1999), and N\trianglelefteq M (Anderson & Fuller 1992)

The dual notion of an essential submodule is that of superfluous submodule (or small submodule). A submodule N is superfluous if for any other submodule H,

N%2BH=M\, implies that H=M\,.

The usual notations for superfluous submodules include:

N\subseteq_s M\, (Lam 1999), and N\ll M (Anderson & Fuller 1992)

Contents

Properties

Here are some of the elementary properties of essential extensions, given in the notation introduced above. Let M be a module, and K, N and H be submodules of M with K subset N

Using Zorn's Lemma it is possible to prove another useful fact: For any submodule N of M, there exists a submodule C such that

N\oplus C \subseteq_e M.

Furthermore, a module with no proper essential extension (that is, if the module is essential in another module, then it is equal to that module) is an injective module. It is then possible to prove that every module M has a maximal essential extension E(M), called the injective hull of M. The injective hull is necessarily an injective module, and is unique up to isomorphism. The injective hull is also minimal in the sense that any other injective module containing M contains a copy of E(M).

Many properties dualize to superfluous submodules, but not everything. Again with let M be a module, and K, N and H be submodules of M with K subset N.

Since every module can be mapped via a monomorphism whose image is essential in an injective module (its injective hull), one might ask if the dual statement is true, i.e. for every module M, is there a projective module P and an epimorphism from P onto M whose kernel is superfluous? (Such a P is called a projective cover). The answer is "No" in general, and the special class of rings which provide their right modules projective covers is the class of right perfect rings.

Generalization

This definition can be generalized to an arbitrary abelian category C. An essential extension is a monomorphism u : ME such that for every non-zero subobject s : NE, the fibre product N ×E M ≠ 0.

See also

References